Nuprl Definition : rps 0,22

rps(x;y) == x=2  y=0  x=1  y=2  x=0  y=1 
latex


Definitionsp  q, p  q, i=j, #$n
FDL editor aliasesrps

origin